Checking whether a word is Hamming-isometric in linear time
نویسندگان
چکیده
A finite word f is Hamming-isometric if for any two words u and v of the same length avoiding f, can be transformed into by changing one all letters on which differs from v, in such a way that new obtained this process also avoid f. Words are not have been characterized as having border with mismatches. We derive characterization linear-time algorithm to check whether Hamming-isometric. It based pattern matching algorithms k Lee-isometric over four-letter alphabet Lee-errors. an size four Lee-isometric.
منابع مشابه
Isometric embeddings in Hamming graphs
The results presented in this paper are parts of my doctoral thesis [ 193; the algorithm and some of the characterizations in Section 7 have been introduced in [ 181. Motivation for isometric embeddings into Hamming graphs has come from communication theory (Graham and Pollak [ 121) an-d linguistics (Firsov 1181). Isometric subgraphs of Hamming graphs also appear in biology as “quasi-species” (...
متن کاملChecking Whether an Automaton Is Monotonic Is NP-complete
An automaton is monotonic if its states can be arranged in a linear order that is preserved by the action of every letter. We prove that the problem of deciding whether a given automaton is monotonic is NP-complete. The same result is obtained for oriented automata, whose states can be arranged in a cyclic order. Moreover, both problems remain hard under the restriction to binary input alphabets.
متن کاملAsymptotically Optimal Algorithm for Checking Whether a Given Vector Is a Solution to a Given Interval-Quantifier Linear System∗
In many practical situations, we have a linear dependence between different quantities. In such situations, we often need to solve the corresponding systems of linear equations. Often, we know the parameters of these equations with interval uncertainty. In this case, depending on the practical problem, we have different notions of a solution. For example, if we determine parameters from observa...
متن کاملAsymptotically Tight Algorithm for Checking Whether a Given Vector Is a Solution to a Given Interval-Quantifier Linear System∗
In many practical situations, we have a linear dependence between different quantities. In such situations, we often need to solve the corresponding systems of linear equations. Often, we know the parameters of these equations with interval uncertainty. In this case, depending on the practical problem, we have different notions of a solution. For example, if we determine parameters from observa...
متن کاملOn Checking Whether a Predicate Definitely Holds
Predicate detection is an important problem in testing and debugging distributed programs. Cooper and Marzullo introduced two modalities possibly and definitely as a solution to this problem. Given a predicate p, a computation satisfies possibly : p if p is true for some global state in the computation. A computation satisfies definitely : p if all paths from the initial to the final global sta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2022
ISSN: ['1879-2294', '0304-3975']
DOI: https://doi.org/10.1016/j.tcs.2022.08.032